| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Advanced Automata Theory | Advanced Automata Theory | Fach-/Modulprüfung | 7 | 452625 | ||
| Advanced Statistical Classification | Advanced Methods in Statistical Classification | Fach-/Modulprüfung | 7 | 454160 | ||
| Computer Vision | Computer Vision | Fach-/Modulprüfung | 7 | 450858 | ||
| Computer Vision | Vorlesung/Übung | 447211 | Mo 10:30-12:00 Grüner Hörsaal AM (Gr) (1420|001) (×12) Do 10:30-12:00 AH II (2350|111) (×1) Do 10:30-12:00 TEMP1 (1515|001) (×11) | |||
| Data-Driven Methods for 3D Shape Analysis | Data driven Methods for 3D Shape Analysis | Fach-/Modulprüfung | 7 | 454394 | ||
| Data driven Methods for 3D Shape Analysis | Übung | 449302 | Mi 16:30-18:00 AH VI (2356|051) (×13) | |||
| Data driven Methods for 3D Shape Analysis | Vorlesung | 449301 | Di 14:30-16:00 AH VI (2356|051) (×14) Do 14:30-16:00 AH VI (2356|051) (×12) | |||
| Efficient Algorithms | Effiziente Algorithmen | Fach-/Modulprüfung | 7 | 455987 | ||
| Effiziente Algorithmen - Übung | Tutorium | 455728 | Mo 14:30-16:00 AH IV (2354|030) (×9) | |||
| Effiziente Algorithmen | Vorlesung | 455727 | Mi 15:00-17:00 AH V (2356|050) (×1) Do 14:30-16:00 AH V (2356|050) (×9) Fr 10:30-12:00 AH V (2356|050) (×7) Fr 11:00-12:30 Seminarraum i1, Raum 4017 (2353|017) (×1) | |||
| Embedded Systems | Einführung in eingebettete Systeme | Fach-/Modulprüfung | 7 | 453162 | ||
| Einführung in eingebettete Systeme | Vorlesung/Übung | 449609 | Mo 16:30-18:00 AH III (2350|314.1) (×10) Di 14:30-16:00 AH III (2350|314.1) (×13) | |||
| Embedded Systems (International Academy) | Vorlesung/Übung | 450568 | Mo 14:30-16:00 AH III (2350|314.1) (×11) Mi 12:30-14:00 AH III (2350|314.1) (×13) | |||
| Fixpoints and Induction in Logic and Computer Science | Prüfung Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 7 | 468643 | ||
| Fixpoints and Induction in Logic and Computer Science | Übung | 455741 | Mi 16:30-18:00 5054 (2356|054) (×9) | |||
| Fixpoints and Induction in Logic and Computer Science | Vorlesung | 455732 | Mi 10:30-12:00 5056 (2356|056) (×13) Do 08:30-10:00 5056 (2356|056) (×5) | |||
| Functional Programming | Funktionale Programmierung | Fach-/Modulprüfung | 7 | 453151 | ||
| Geometry Processing | Geometrieverarbeitung | Fach-/Modulprüfung | 7 | 453728 | ||
| Geometrieverarbeitung | Übung | 449088 | Fr 12:30-14:00 AH I (2350|028) (×12) Fr 12:30-14:00 HKW 1 (1132|203) (×1) | |||
| Geometrieverarbeitung | Vorlesung | 448685 | Mi 10:30-12:00 AH V (2356|050) (×14) Fr 10:30-12:00 AH VI (2356|051) (×12) | |||
| Infinite Computations and Games | Infinite Computations and Games | Fach-/Modulprüfung | 7 | 454588 | ||
| Knowledge Representation | Introduction to Knowledge Representation | Fach-/Modulprüfung | 7 | 453322 | ||
| Introduction to Knowledge Representation | Vorlesung/Übung | 455352 | Mo 08:30-10:00 AH II (2350|111) (×12) Di 08:30-10:00 AH II (2350|111) (×13) Fr 16:30-18:00 AH I (2350|028) (×11) Fr 16:30-18:00 AH III (2350|314.1) (×1) | |||
| Logic Programming | Logikprogrammierung | Fach-/Modulprüfung | 7 | 452059 | ||
| Logikprogrammierung | Übung | 454727 | Di 16:30-18:00 AH III (2350|314.1) (×2) Mi 09:00-13:00 AH III (2350|314.1) (×1) Mi 09:30-12:30 5055 (2356|055) (×1) Mi 16:30-18:00 AH IV (2354|030) (×8) Do 09:00-18:00 5055 (2356|055) (×1) Fr 12:30-14:00 AH III (2350|314.1) (×1) | |||
| Logikprogrammierung | Vorlesung | 454728 | Di 16:30-18:00 AH III (2350|314.1) (×11) Mi 16:30-18:00 AH IV (2354|030) (×2) Fr 12:30-14:00 AH III (2350|314.1) (×11) | |||
| Model Checking | Model Checking | Fach-/Modulprüfung | 7 | 455274 | ||
| Introduction to Model Checking | Übung | 455137 | Mo 10:30-12:00 AH II (2350|111) (×1) Mi 16:30-18:00 AH V (2356|050) (×10) | |||
| Introduction to Model Checking | Vorlesung | 455138 | Mo 10:30-12:00 AH II (2350|111) (×12) Mo 14:00-16:00 5055 (2356|055) (×1) Do 12:30-14:00 AH II (2350|111) (×9) | |||
| Recursion Theory | Rekursionstheorie | Fach-/Modulprüfung | 7 | 454405 | ||
| Software Architectures | Software-Architekturen (SS) | Fach-/Modulprüfung | 7 | 451287 | ||
| Software-Architekturen | Übung | 448867 | Mi 14:30-16:00 AH VI (2356|051) (×6) Mi 14:45-17:00 Fakultätsseminarraum (2359|U112) (×1) Mi 15:00-17:30 Fakultätsseminarraum (2359|U112) (×1) | |||
| Statistical Classification and Machine Learning | Statistische Klassifikation und Maschinelles Lernen | Fach-/Modulprüfung | 7 | 454403 | ||
| Statistical Methods in Natural Language Processing | Statistical Methods in Natural Language Processing | Fach-/Modulprüfung | 8 | 451230 | ||
| The Graph Isomorphism Problem | Das Graphisomorphieproblem | Fach-/Modulprüfung | 7 | 452835 |